378 XV NORMED ALGEBRAS AND SPECTRAL THEORY
hence \\^y\\ ^ \\ng(x)\\ • \\7ig(y}\\, and therefore
^ \\ng(x)\\ - \\ng(y)\\.
Since A/ng is dense in H^ 9 we infer that there exists a vector £ • x e H5 such
that |/^y({0})| = (£ ; x 1 7r/y)) for all y e A (6.3.2), and we have
\\E-x\\£\\ng(x)\\.
This shows first that E • x depends only on ng(x) and can therefore be written
in the form W0 • ng(x), where W0 is a linear mapping of A/ng into H^; also, we
have || WQ - ng(x)\\ g |]rcff(*)ll, so that W0 is continuous, and extends to a con-
tinuous operator W e «5f(H^). Next, replacing x by zx in (1 5.9.2.1 7) and noting
that V-ng(zx) = (VUg(z)) ' xg(x) for Fe ja^, we obtain
Since the function .%'*-+ (9 Ug(z'))(a>~1(x'y) is zero at the point 0, we see that
/*z*,/{0}) = 0 f°r a^ z € A> or equivalently (W - ng(zx) \ ng(y)) = 0. Since the
elements ng(y) are dense in H^, it follows that W - ng(zx) = 0 for all z and all
x in A; but by virtue of the condition (N) (which is used only at this point of
the proof) the ng(zx) form a total set in H^ . Hence we have W = 0, and the
proof of (i) is complete.
(15.9.120) Proof of (ui).
To show that the support of mg is the whole of S^ , it is enough to prove
that, for each x e S^ and each open neighborhood V of x in S^, there exists at
least one continuous function F ^ 0, with support contained in V, and such
that mg(F) ^ 0. Suppose that this is not the case. Then for every F as above
we have
f Fft) dmxi,(x) = . [
= 0
for all x, y in A. But by virtue of the Gelfand-Neumark theorem (1 5.4.1 4), F is
the restriction to S^ of a function of the form ^Ko to"1, where Ve^'g, and
by (15.9.2.17) we have (V- ng(x) \ ng(y)) = 0 for all x, y in A. Since Afng is
dense in Hff , it follows that V = 0 and therefore F = 0, which is absurd (4.5.2).
(15.9.2.21) Proof of (IN).
By virtue of (iii), the vector space ^c(S^) n &l(Sg , mg) (and therefore also
its subspace tfc(Sg)) c&n be identified (algebraically) with a dense subspace
of I|(S,,/»,) (13.11.6). Since on the other hand the relation (15.9.2.1) can
be put in the form (ng(x) \ng(yj) = *(x)Jft) dmg(x) and therefore definesions xnxn therefore converge uniformly on S^ to G, and hence,